Typing Model Transformations Using Tracts
نویسندگان
چکیده
As the complexity of MDE artefacts grows, there is an increasing need to rely on precise and abstract mechanisms that allow system architects to reason about the systems they design, and to test their individual components. In particular, assigning types to models and model transformations is needed for realizing many key MDE activities. This paper presents a light-weight approach to type model transformations using tracts. Advantages and limitations of the proposal are discussed, as well as the applicability of the proposal in several settings.
منابع مشابه
Testing M2M/M2T/T2M Transformations
As Model-Driven Engineering is becoming adopted by industry, models and model transformations (MTs) are extensively used. Hence, there is the urgent need for systematic testing mechanisms and tools to check their correctness. In this work, we make use of a particular case of contracts for model transformations called Tracts. First, Tracts allow the transformation developer to specify and test a...
متن کاملReusing Model Transformations Through Typing Requirements Models
Model transformations are key elements of Model-Driven Engineering (MDE), where they are used to automate the manipulation of models. However, they are typed with respect to concrete source and target meta-models and hence their reuse for other (even similar) meta-models becomes challenging. In this paper, we describe a method to extract a typing requirements model (TRM) from an ATL model-to-mo...
متن کاملMeasuring ATL Transformations∗
Model transformations are a key element in Model Driven Engineering because they are the primary means for model manipulation. Assessing the quality of model transformations enables the improvement of those assets, and in consequence affects the quality of the MDE-based process in which they are applied. In this work we address the implementation of metrics for model transformations. ATL is cur...
متن کاملWell-Behaved Model Transformations with Model Subtyping
In model-driven engineering, models abstract the relevantfeatures of software artefacts and model transformations acton them automating large tasks of the development process.It is, thus, crucially important to provide pragmatic, reliablemethods to verify that model transformations guarantee thecorrectness of generated models in order to ensure the qual-ity of the final ...
متن کاملGeneric Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritance. However, model transformations such as refactorings specified for a given language cannot be readily reused for another language because their related metamodels may be structurally different. Our aim is to enable...
متن کامل